\frame[containsverbatim]
{
  \frametitle{LockCountAnalysis implementation (continued)}
\B
\item Add {\tt isSynchronized} field and constructor:
{\scriptsize
\begin{verbatim}
  private boolean isSynchronized;
  
  public LockCountAnalysis(DepthFirstSearch dfs, boolean isSynchronized) {
    super(dfs);
    this.isSynchronized = isSynchronized;
  }
\end{verbatim}
}
\item Superclass constructor requires DepthFirstSearch of method CFG
\item Fact at CFG entry will depend on whether or not method is synchronized
\E
}
